Propositional function - PDFSEARCH.IO - Document Search Engine

Propositional function
Results: 162

#	Item
141	Intuitionistic Type Theory Per Martin-L¨of Notes by Giovanni Sambin of a series of lectures Add to Reading List Source URL: www.csie.ntu.edu.tw Language: English - Date: 2009-06-20 07:32:17 Logic in computer science Propositional calculus Type theory Proof theory Natural deduction Function Principia Mathematica First-order logic Interpretation Logic Mathematical logic Mathematics
142	Boolean Decision trees Problems and Results, Old and New Add to Reading List Source URL: www.math.rutgers.edu Language: English - Date: 2006-03-20 23:31:05 Applied mathematics Computational complexity theory Boolean function Cryptography Decision tree model Tree Clique problem Propositional directed acyclic graph Theoretical computer science Boolean algebra Mathematics
143	The Logic of Quantum Mechanics Garrett Birkhoff; John Von Neumann The Annals of Mathematics, 2nd Ser., Vol. 37, No. 4. (Oct., 1936), pp[removed]. Add to Reading List Source URL: www.fulviofrisone.com Language: English - Date: 2012-03-06 08:27:10 Quantum mechanics Quantum measurement Propositional calculus Mathematical logic Hilbert space Linear algebra John von Neumann Complemented lattice Function Mathematics Physics Logic
144	A First Order Modal Logic and its Sheaf Models Barnaby P. Hilken and David E. Rydeheard∗ Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2001-08-20 11:05:05 Philosophical logic Propositional calculus Functions and mappings Model theory Deduction First-order logic Sheaf Entailment Function Logic Mathematics Mathematical logic
145	Mathematical Logic as Based on the Theory of Types Bertrand Russell American Journal of Mathematics, Vol. 30, No. 3 (Jul., 1908), [removed]. Add to Reading List Source URL: www.cfh.ufsc.br Language: English - Date: 2009-03-04 08:57:27 Propositional calculus Functions and mappings Semantics Function Proposition Ordinal number Modal logic Negation Existential quantification Logic Mathematics Mathematical logic
146	TARSKI, FREGE AND THE LIAR PARADOX Aaron Sloman, School of Computer Science, The University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2003-10-19 12:17:42 Philosophy of language Meaning Propositional calculus Veracity Truth Liar paradox Semantics Proposition Function Logic Philosophy Philosophical logic
147	Mathematical Logic with Diagrams Based on the Existential Graphs of Peirce Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2008-01-27 23:15:42 Charles Sanders Peirce Diagrams Philosophical logic Existential graph Logical graph First-order logic Propositional calculus Well-formed formula Function Logic Mathematical logic Mathematics
148	PDF Document Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 13:40:33 Propositional calculus Mathematical logic Philosophical logic Boolean algebra Classical logic Principia Mathematica Axiom of reducibility Function Contradiction Logic Mathematics Philosophy
149	PDF Document Add to Reading List Source URL: web.engr.oregonstate.edu Language: English - Date: 2010-01-08 15:44:32 Propositional calculus Formal languages Model theory Interpretation First-order logic Well-formed formula Proposition Function Atomic formula Logic Mathematical logic Predicate logic
150	PDF Document Add to Reading List Source URL: www.uky.edu Language: English - Date: 2009-02-12 16:35:04 Semantics Logical truth Mathematical logic Boolean algebra Interpretation Tautology Well-formed formula Function Truth table Logic Mathematics Propositional calculus

UPDATE